DuplicateBuiltinBinding.agda:6,1-30
Duplicate binding for built-in thing STRING, previous binding to
String
when checking the pragma BUILTIN STRING String
